home *** CD-ROM | disk | FTP | other *** search
- *** c/c.spider.old Wed Nov 29 22:48:59 1989
- --- c/c.spider Wed Nov 29 21:55:48 1989
- ***************
- *** 18,28 ****
-
- token + category unorbinop
- token - category unorbinop
- ! token * category unorbinop translation <"{*}">
- token / category dot
- token < category less translation <>
- token > category greater translation <>
- token = category equals translation <"\\leftarrow"> tangleto <"="-space>
- token . category dot
- token ~ category unop translation <"\\TI">
- token & category unorbinop translation <"\\amp">
- --- 18,30 ----
-
- token + category unorbinop
- token - category unorbinop
- ! token * category unorbinop translation <"{*}"> tangleto <space-"*">
- ! # avoid inadvertant /*
- token / category dot
- token < category less translation <>
- token > category greater translation <>
- token = category equals translation <"\\leftarrow"> tangleto <"="-space>
- + # avoid inadvertant =-
- token . category dot
- token ~ category unop translation <"\\TI">
- token & category unorbinop translation <"\\amp">
-